📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·8h·
Discuss: DEV
🌐Network Protocols
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
🔢Denotational Semantics
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·6h·
Discuss: Hacker News
🧩WASM Modules
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
simplex-chat/simplexmq
github.com·12h
🔌Interface Evolution
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Ergo IRC server
notes.billmill.org·1d
🌊Streaming Systems
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·7h·
Discuss: DEV
🌊Stream Processing
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Networks aren’t fragile because of change, they’re fragile because they change without structure
techradar.com·14m
🤖Network Automation
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·15h·
Discuss: DEV
🌊Stream Processing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·7h
📋Protocol Buffers
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Heartbeat of Modern Web Real Time Patterns User Design（1750757451760700）
dev.to·1d·
Discuss: DEV
🌊Stream Processing